<HTML><HEAD><TITLE>graph_labeling(+Graph)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(grasper)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>graph_labeling(+Graph)</H1>
Labels a graph variable.
<DL>
<DT><EM>Graph</EM></DT>
<DD>A graph.
</DD>
</DL>
<H2>Description</H2>
Labels a graph variable.
<H3>Fail Conditions</H3>
Fails 
			 if Graph is not a graph variable.
			
<H2>Examples</H2>
<PRE>
?- graph_labeling(G).
No.

?- V`::[]..[1,2], E`::[]..[[1,2],[2,1]], dirgraph(G,V,E), graph_labeling(G).
V = []
E = []
G = dirgraph([], [])
Yes ? ;

V = [2]
E = []
G = dirgraph([2], [])
Yes ? ;

V = [1]
E = []
G = dirgraph([1], [])
Yes ? ;

V = [1, 2]
E = []
G = dirgraph([1, 2], [])
Yes ? ;

V = [1, 2]
E = [[2, 1]]
G = dirgraph([1, 2], [[2, 1]])
Yes ? ;

V = [1, 2]
E = [[1, 2]]
G = dirgraph([1, 2], [[1, 2]])
Yes ? ;

V = [1, 2]
E = [[1, 2], [2, 1]]
G = dirgraph([1, 2], [[1, 2], [2, 1]])
Yes

?- V`::[]..[1,2], E`::[]..[[1,2],[2,1]], undirgraph(G,V,E), graph_labeling(G).
V = []
E = []
G = undirgraph([], [])
Yes ? ;

V = [2]
E = []
G = undirgraph([2], [])
Yes ? ;

V = [1]
E = []
G = undirgraph([1], [])
Yes ? ;

V = [1, 2]
E = []
G = undirgraph([1, 2], [])
Yes ? ;

V = [1, 2]
E = [[1, 2], [2, 1]]
G = undirgraph([1, 2], [[1, 2], [2, 1]])
Yes
			</PRE>

</BODY></HTML>
